Weaving in Role-Based Aspect-Oriented Design Models
نویسندگان
چکیده
Aspect-oriented modeling deals with cross-cutting concerns at early stages of the software development. Weaving involves highly abstract aspect descriptions, and it is necessary to take into account application specific constraints. We adopt a role-based aspect-oriented modeling method and define a notion of the aspect weaving in a systematic way. We further discuss how we use Alloy, a lightweight formal specification language and analysis tool, for the precise model descriptions and verification.
منابع مشابه
Lightweight Formal Analysis of Aspect-Oriented Models
In aspect-oriented modeling at early stages of the software development, model descriptions with various abstraction levels are involved so that two kinds of model transformation, refinement as well as weaving, should be considered. We adapt a role-based aspect-oriented modeling method and define a notion of aspect weaving as role merging. We further adapt Alloy, a lightweight formal specificat...
متن کاملConstraint-Based Model Weaving
Aspect-Oriented Modeling (AOM) is a promising technique for untangling the concerns of complex enterprise software systems. AOM decomposes the cross-cutting concerns of a model into separate models that can be woven together to form a composite solution model. In many domains, such as multi-tiered e-commerce web applications, separating concerns is much easier than deducing the proper way to we...
متن کاملTouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design
This paper presents TouchRAM, a multitouch-enabled tool for agile software design modeling aimed at developing scalable and reusable software design models. The tool gives the designer access to a vast library of reusable design models encoding essential recurring design concerns. It exploits model interfaces and aspect-oriented model weaving techniques as defined by the Reusable Aspect Models ...
متن کاملAspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework
Aspect-Oriented Modeling (AOM) is an emerging solution for handling crosscutting concerns at the software modeling level in order to reduce the complexity of software models and application code. Most existing work on weaving aspects into UML design models is presented from a practical perspective and lacks formal syntax and semantics. In this paper, we propose formal specifications for aspect ...
متن کاملWeaving Ontology Aspects Using a Catalog of Structural Ontology Design Patterns
Modular development of ontologies proves beneficial at different stages of the ontology lifecycle. In our previous work, we proposed aspect-oriented ontology development as a flexible approach to modular ontology development and a-posteriori modularization of existing monolithic ontologies, inspired by aspect-oriented programming and based on so called cross-cutting concerns. Similar to other f...
متن کامل